formal methods

Status and Development of Formal Methods for Performance Evaluation

性能评价形式化方法的现状和发展

Research on Formal Methods and Their Applications for Security Protocols

安全协议的形式化方法及其应用的研究

Formal methods also force people to be concrete and specific .

正式的方法还要求人们做到具体和明确。

Approach on Formal Methods of Test Generation for Communication Protocol

关于通信协议测试生成形式方法的探讨

Extensions to a Finite Model Generator and Application to Formal Methods

有限构模器的扩展及其在形式化方法中的应用

Research on Formal Methods of Web Service Data and Service Composition Based on Process Algebra

基于进程代数的Web服务数据和组合的形式化方法研究

Software Architecture Description Approach Integrating Formal Methods and Visual Methods

形式化与可视化相结合的软件体系结构描述方法研究

A Survey of Formal Methods of Software Component Representation and Retrieval

软件构件表示与检索形式化的研究与进展

Design of complex system from behavioural descriptions using formal methods

用公式法进行复杂系统的特性描述设计

The application of formal methods in safety analysis of airplane wheel brake system

形式化方法在飞机轮刹系统安全性分析中的应用

Aspect-Oriented Model for Real-Time Systems Based on UML and Formal Methods

基于UML和形式化方法的面向方面实时系统模型

Protocol testing theory based on formal methods

基于形式化方法的协议测试理论

The Development and Prospect of Formal Methods

形式化方法的发展及展望

Application of Formal Methods in DSS for Equipment Support

形式化方法在装备保障决策支持系统中的应用

Improvement and analysis of Andrew RPC based on formal methods

基于形式方法的AndrewRPC认证协议的分析与改进

Analysis and comparison for two formal methods : rsl and Z

两种形式语言：RSL与Z的分析比较

The Formal Methods of Verifying E-commerce Protocols and a Case of Study

电子商务协议的形式化验证方法及FR验证实例

Research of Formal Methods in CSTA System Test

形式化方法在CSTA系统测试中的应用研究

Software rapid prototyping based on formal methods

基于形式化方法的快速原型技术

The formal methods are various .

形式化方法多种多样。

Formal methods and safety critical systems

形式化方法与安全关键系统

Improving the scalability and speed of Formal Methods becomes hot spot in worldwide research .

提高形式验证的验证规模和速度成为国际研究的热点。

Used One of the Formal Methods Languages , Z Language , in Watermelon Chess

形式化方法&Z语言在西瓜棋中应用的研究

Formal methods of teaching are going out fast , and new ones are coming in all the time .

正规的教学方法正迅速过时，新的方法正不断出现。

One way to apply formal methods is to utilize a formal design approach in PLC programming .

一个传统思路的方法就是在PLC编程中设立一个正式的设计方法。

In this paper , we first introduce the formal methods for security protocols and the research development in this field .

本文首先介绍了安全协议形式化分析的研究现状和主要方法，并且重点讨论了其中的模型检测方法。

Having said that , there is tool automation that supports some of the application of formal methods .

需要指出的是，确实有一些自动化工具支持某些形式化方法的应用。

Are we saying that it is not worth using formal methods in anti-virus technologies ?

那么，在反病毒技术中使用形式方法毫无意义吗？

It is an efficient way to implement automation of software by applying formal methods to object-oriented technology .

面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法，是一种实现软件自动化的有效方法。

Currently model checking and logical analysis are popular formal methods , but both of them have Limitations .

目前主流的电子商务协议形式化分析方法有模型检测和逻辑分析，而这两种分析方法都存在局限性。